Compiler optimizations - PDFSEARCH.IO - Document Search Engine

Compiler optimizations
Results: 530

#	Item
101	Provably Correct Peephole Optimizations with Alive Nuno P. Lopes Microsoft Research, UK David Menendez Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2015-04-28 14:36:09 Compiler construction Compilers Compiler optimizations C programming language LLVM Compiler Static single assignment form GNU Compiler Collection Type system Software Computing Programming language implementation
102	Automatically Generating Coarse Grained Software Pipelining from Declaratively Specified Communication Nilesh Mahajan* Sajith Sasidharan* Add to Reading List Source URL: www.hipc.org Language: English - Date: 2011-11-11 12:59:29 Parallel computing Compiler optimizations Actor model Software pipelining Futures and promises Very long instruction word Type system Central processing unit Programming language Computing Software engineering Programming language theory
103	In Search of Near-Optimal Optimization Phase Orderings Jack W. Davidson Prasad A. Kulkarni David B. Whalley Gary S. Tyson Add to Reading List Source URL: www.cs.fsu.edu Language: English - Date: 2006-04-21 21:27:23 Programming language implementation Mathematical optimization Computer performance Software optimization Program optimization Inline expansion Genetic algorithm Algorithm Loop tiling Computing Software Compiler optimizations
104	Polyhedral Model: Past Present & Future title shamelessly copied from Feautrier’s LCPC 2009 keynote Sanjay Rajopadhye Add to Reading List Source URL: labexcompilation.ens-lyon.fr Language: English - Date: 2013-05-14 05:22:23 Linear algebra Compiler optimizations Parallel computing Projective geometry Euclidean geometry Vector space Automatic parallelization Systolic array Recurrence relation Algebra Mathematics Geometry
105	A New Loop Optimizer for GCC Zdenˇek Dvoˇrák SuSE Labs , http://atrey.karlin.mff.cuni.cz/˜rakdver/ Abstract Add to Reading List Source URL: gcc.cybermirror.org Language: English - Date: 2004-08-29 18:00:00 Computer programming Loop optimization Control flow graph Loop unwinding Control flow For loop Infinite loop Loop unswitching Induction variable Compiler optimizations Computing Software engineering
106	Array Region Analyses and Applications Béatrice Creusillet Polyhedral School Saint-Germain-au-Mont-d’Or May 13-17, 2013 Add to Reading List Source URL: labexcompilation.ens-lyon.fr Language: English - Date: 2013-06-13 02:34:52 Compiler optimizations Computer hardware Parallel computing Fortran OpenMP Loop optimization OpenCL Béatrice CUDA Computing GPGPU Computer programming
107	Autovectorization in GCC Dorit Naishlos IBM Research Lab in Haifa Abstract Add to Reading List Source URL: gcc.cybermirror.org Language: English - Date: 2004-08-29 18:00:00 Parallel computing Vectors Abstract algebra Compiler optimizations Vectorization Vector processor SIMD Dependence analysis Data structure alignment Algebra Mathematics Linear algebra
108	Adapting Compilation Techniques to Enhance the Packing of Instructions into Registers Stephen Hines, David Whalley, Gary Tyson Computer Science Department Florida State University Tallahassee, FL Add to Reading List Source URL: www.cs.fsu.edu Language: English - Date: 2006-08-24 08:01:51 Compiler optimizations Assembly languages Instruction scheduling Reduced instruction set computing Instruction set Branch predication Register renaming Very long instruction word Addressing mode Computer architecture Computing Computer engineering
109	Exhaustive Optimization Phase Order Space Exploration Prasad A. Kulkarni, David B. Whalley, Gary S. Tyson Florida State University Computer Science Department Tallahassee, FL {kulkarni,whalley,tyson}@cs.fsu.ed Add to Reading List Source URL: www.cs.fsu.edu Language: English - Date: 2006-01-23 10:27:42 Software Compiler Program optimization Inline expansion Induction variable GNU Compiler Collection Loop optimization Mathematical optimization Interprocedural optimization Compiler optimizations Software engineering Computing
110	The Polyhedral Model Definitions Operations on Polyhedra Quantifier Elimination and SMT solvers Last Words Add to Reading List Source URL: labexcompilation.ens-lyon.fr Language: English - Date: 2013-05-14 05:12:13 Electronic design automation Formal methods Logic in computer science NP-complete problems Compiler optimizations Polyhedron Satisfiability Modulo Theories Boolean satisfiability problem Linear programming Theoretical computer science Mathematics Applied mathematics

UPDATE